Back-Forth Equivalences for Design of Concurrent Systems
نویسنده
چکیده
The paper is devoted to the investigation of behavioural equivalences of concurrent systems modelled by Petri nets. Back-forth bisimulation equivalences known from the literature are supplemented by new ones, and their relationship with basic behavioural equivalences is examined for the whole class of Petri nets as well as for their subclass of sequential nets. In addition, the preservation of all the equivalence notions by refinements is examined.
منابع مشابه
Place Bisimulation Equivalences for Design of Concurrent Systems
In this paper, we supplement the set of basic and back-forth behavioural equivalences for Petri nets considered in [11] by place bisimulation ones. The relationships of all the equivalence notions are examined, and their preservation by refinements is investigated to find out which of these relations may be used in top-down design. It is demonstrated that the place bisimulation equivalences may...
متن کاملτ-Equivalences for analysis of concurrent systems modelled by Petri nets with silent transitions
The paper is devoted to the investigation of behavioural equivalences for Petri nets with silent transitions (τ -equivalences). Basic τ -equivalences and back-forth τ -bisimulation equivalences are supplemented by new ones, giving rise to the complete set of equivalence notions in interleaving / true concurrency and linear / branching time semantics. Their interrelations are examined for the ge...
متن کاملContextual equivalences in configuration structures and reversibility
Contextual equivalence equate terms that have the same observable behaviour in any context. A standard contextual equivalence for CCS is the strong barbed congruence. Configuration structures are a denotational semantics for processes in which one define equivalences that are more discriminating, i.e. that distinguish the denotation of terms equated by barbed congruence. Hereditary history pres...
متن کاملTeam Formation in Concurrent Engineering Using Group Technology (GT) Concepts
Concurrent engineering (CE) has emerged as an essential design principle that facilitates rapid and efficient product development that is necessary to survive in today’s fiercely competitive environment. However, the lack of tools that address design team formulation and proper design task assignment in CE has made its application an immense challenge. In this article we explicitly address this...
متن کاملBehavioral Equivalences
DEFINITION: Beahvioral equivalences serve to establish in which cases two reactive (possible concurrent) systems offer similar interaction capabilities relatively to other systems representing their operating environment. Behavioral equivalences have been mainly developed in the context of process algebras, mathematically rigorous languages that have been used for describing and verifying prope...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1997